Merge pull request #1835 from jts-arm/rename
authorAntonio Niño Díaz <[email protected]>
Fri, 22 Feb 2019 13:05:37 +0000 (13:05 +0000)
committerGitHub <[email protected]>
Fri, 22 Feb 2019 13:05:37 +0000 (13:05 +0000)
Apply official names to new Arm Neoverse cores


Trivial merge